xpi AtualizarTela {
  class c1 = public class Tela;
  interface i1 = public interface FiguraGeometrica;
  method m1 = public void mover(int, int);
  method m2 = public static void atualizar(); 
  rules:	
    c1;
    i1;    
    m1 methodOf i1;
    m2 methodOf c1;
    all c: class | c implements i1 => !c.meth call m2;
}